$\forall$${\it es}$:ES\{i\}, ${\it ff}$:FIFO\{i:l\}(${\it es}$). F2F+{-}decls\{i:l\}(${\it es}$; ${\it ff}$) $\in$ Type\{i'\}